| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Advanced Automata Theory | Fach-/Modulprüfung | 6 | 531708 | ||
| Advanced Internet Technology | Fach-/Modulprüfung | 6 | 528031 | Di 19.08.2025 12:00-13:30 H01 (1385|101) Do 18.09.2025 12:00-13:30 Otto Fuchs-Hörsaal (H03) (1385|003) | |
| Vorlesung | 523913 | Di 14:30-16:00 AH I (2350|028) (×14) Fr 10:30-12:00 AH I (2350|028) (×13) | |||
| Übung | 524317 | Fr 12:30-14:00 AH I (2350|028) (×13) | |||
| Advanced Machine Learning | Fach-/Modulprüfung | 6 | 531242 | ||
| Vorlesung | 524468 | Mo 12:30-14:00 HKW 2 (1132|303) (×13) Do 12:30-14:00 AH IV (2354|030) (×11) | |||
| Advanced Topics in Machine Learning for Human Language Technology | Fach-/Modulprüfung | 4 | 529448 | ||
| Algorithmische Modelltheorie I | Fach-/Modulprüfung | 8 | 528281 | ||
| Automatic Speech Recognition Search | Fach-/Modulprüfung | 4 | 529221 | ||
| Vorlesung | 526763 | Di 08:30-10:00 5054 (2356|054) (×9) Mi 10:30-12:00 AH III (2350|314.1) (×3) Do 10:30-12:00 5054 (2356|054) (×6) | |||
| Übung | 526764 | Mi 10:30-12:00 AH III (2350|314.1) (×5) Do 10:30-12:00 5054 (2356|054) (×2) | |||
| Business Process Intelligence | Fach-/Modulprüfung | 6 | 530026 | Do 07.08.2025 12:00-14:00 AH IV (2354|030) AOC (2020|131) PPS H1 (2315|101) Di 09.09.2025 09:00-11:00 PPS H1 (2315|101) PPS H2 (2315|001) | |
| Vorlesung | 525690 | Mo 14:30-16:00 AH V (2356|050) (×13) Di 12:30-14:00 AH V (2356|050) (×13) | |||
| Übung | 525691 | Mi 10:30-12:00 AH IV (2354|030) (×14) | |||
| Communication Systems Engineering | Fach-/Modulprüfung | 6 | 527988 | ||
| Computer Vision | Fach-/Modulprüfung | 6 | 532120 | ||
| Vorlesung/Übung | 524905 | Mo 10:30-12:00 TEMP2 (1515|002) (×13) Do 08:30-10:00 TEMP2 (1515|002) (×11) | |||
| CSCW and Groupware: Concepts and Systems for Computer Supported Cooperative Work | Fach-/Modulprüfung | 4 | 532113 | ||
| Current Topics in Media Computing and HCI | Fach-/Modulprüfung | 6 | 531703 | Di 22.07.2025 09:00-10:00 AH IV (2354|030) Mi 27.08.2025 14:00-15:00 AH VI (2356|051) | |
| Vorlesung/Übung | 525440 | Di 10:30-12:00 Extern (×13) Mi 12:30-14:00 Extern (×14) | |||
| Datenstrommanagement und -analyse | Fach-/Modulprüfung | 6 | 529777 | ||
| Vorlesung/Übung | 526822 | Mo 08:30-10:00 AH III (2350|314.1) (×12) Fr 08:30-10:00 Großer B-IT Raum (2356|053.2) (×12) | |||
| Designing Interactive Systems II | Fach-/Modulprüfung | 6 | 532115 | Do 24.07.2025 14:30-15:30 AH IV (2354|030) Mi 27.08.2025 09:00-10:00 AH VI (2356|051) | |
| Vorlesung/Übung | 525350 | Mo 14:30-16:00 Extern (×12) Mi 09:30-12:00 Extern (×14) | |||
| Distributed Ledger Technology | Fach-/Modulprüfung | 4 | 530684 | ||
| Eingebettete Systeme | Fach-/Modulprüfung | 6 | 532112 | ||
| Vorlesung/Übung | 524753 | Mo 16:30-18:00 H07 (1385|104) (×12) Mi 10:30-12:00 H07 (1385|104) (×13) | |||
| Vorlesung/Übung | 527290 | Mo 14:30-16:00 AH III (2350|314.1) (×12) Di 18:30-20:00 H06 (1385|004) (×13) | |||
| Fixpoints and Induction in Logic and Computer Science | Fach-/Modulprüfung | 6 | 529313 | ||
| Vorlesung | 526041 | Mo 10:30-12:00 5056 (2356|056) (×12) Di 08:30-10:00 5056 (2356|056) (×14) | |||
| Übung | 526841 | Mi 12:30-14:00 Seminarraum i7, Raum 4116 (2353|116) (×3) Fr 12:30-14:00 5052 (2356|052) (×12) | |||
| Formale Grundlagen von UML | Fach-/Modulprüfung | 6 | 531334 | ||
| Foundations of Functional Programming | Fach-/Modulprüfung | 6 | 530040 | ||
| Foundations of Logic Programming | Fach-/Modulprüfung | 6 | 531301 | Mi 06.08.2025 09:00-11:00 Großer Hörsaal AM (1420|210) H01 (1385|101) H02 (1385|102) Otto Fuchs-Hörsaal (H03) (1385|003) Mo 01.09.2025 09:00-11:00 Großer Hörsaal AM (1420|210) H02 (1385|102) | |
| Übung | 532443 | Do 10:30-12:00 AH IV (2354|030) (×11) | |||
| Vorlesung | 532442 | Do 16:30-18:00 AH II (2350|111) (×11) Fr 14:30-16:00 AH III (2350|314.1) (×13) | |||
| Fundamentals of Business Process Management | Fach-/Modulprüfung | 6 | 529879 | ||
| Geometrieverarbeitung | Fach-/Modulprüfung | 6 | 532114 | ||
| Vorlesung | 525193 | Di 10:30-12:00 AH VI (2356|051) (×13) Do 10:30-12:00 AH III (2350|314.1) (×11) | |||
| Übung | 524333 | Fr 10:30-12:00 AH V (2356|050) (×13) | |||
| Graphzerlegungen und algorithmische Anwendungen | Fach-/Modulprüfung | 6 | 531837 | ||
| Infinite Computations and Games | Fach-/Modulprüfung | 6 | 528510 | ||
| IT-Sicherheit 1 - Kryptographische Grundlagen und Netzwerksicherheit | Fach-/Modulprüfung | 6 | 529007 | ||
| IT-Sicherheit 2 - Computer Security | Fach-/Modulprüfung | 6 | 531702 | ||
| Leistungs- und Korrektheitsanalyse paralleler Programme | Fach-/Modulprüfung | 6 | 531403 | ||
| Vorlesung/Übung | 525837 | Mo 12:30-14:00 5056 (2356|056) (×13) Do 12:30-14:00 5056 (2356|056) (×11) | |||
| Logics for Reasoning about Uncertainty | Fach-/Modulprüfung | 4 | 528253 | ||
| Machine Learning with Graphs: Foundations and Applications | Fach-/Modulprüfung | 6 | 530455 | ||
| Mobile Internet Technology | Fach-/Modulprüfung | 6 | 531302 | Mo 21.07.2025 12:00-13:30 H01 (1385|101) Do 11.09.2025 09:00-10:30 Otto Fuchs-Hörsaal (H03) (1385|003) | |
| Vorlesung/Übung | 524897 | Mo 14:30-16:00 AH I (2350|028) (×11) Do 10:30-12:00 AH I (2350|028) (×8) Fr 14:30-16:00 AH I (2350|028) (×12) | |||
| Model Checking | Fach-/Modulprüfung | 6 | 531296 | ||
| Modeling and Verification of Probabilistic Systems | Fach-/Modulprüfung | 6 | 528987 | Di 05.08.2025 09:00-11:00 H05 (1385|105) Di 09.09.2025 09:00-11:00 H05 (1385|105) | |
| Vorlesung | 533817 | Di 10:30-12:00 UMIC_025 (2165|025) (×13) Mi 08:30-10:00 5056 (2356|056) (×14) | |||
| Übung | 533818 | Do 14:30-16:00 5056 (2356|056) (×11) | |||
| Modellbasierte Softwareentwicklung | Fach-/Modulprüfung | 6 | 532109 | ||
| Modellierung und Analyse hybrider Systeme | Fach-/Modulprüfung | 6 | 531297 | ||
| Online Algorithmen | Fach-/Modulprüfung | 6 | 528361 | ||
| Physikalische Simulation im Visual Computing | Fach-/Modulprüfung | 6 | 528176 | ||
| Fach-/Modulprüfung | 6 | 530650 | |||
| Vorlesung/Übung | 527199 | Mi 10:30-12:00 AH II (2350|111) (×14) Fr 10:30-12:00 5056 (2356|056) (×13) | |||
| Probabilistic Programming | Fach-/Modulprüfung | 4 | 528386 | ||
| Prozesse und Methoden beim Testen von Software | Fach-/Modulprüfung | 3 | 532122 | ||
| Fach-/Modulprüfung | 6 | 532121 | |||
| Quantum Computing | Fach-/Modulprüfung | 4 | 528513 | ||
| Reinforcement Learning and Learning-based Control | Fach-/Modulprüfung | 6 | 531736 | Fr 05.09.2025 12:00-14:00 Großer Hörsaal AM (1420|210) TEMP1 (1515|001) | |
| Vorlesung | 526605 | Mi 10:30-12:00 PPS H2 (2315|001) (×14) | |||
| Übung | 526386 | Mi 12:30-14:00 PPS H2 (2315|001) (×14) | |||
| Software-Projektmanagement | Fach-/Modulprüfung | 4 | 531306 | Mo 21.07.2025 09:00-10:30 H02 (1385|102) Di 02.09.2025 12:00-13:30 Grüner Hörsaal AM (Gr) (1420|001) | |
| Vorlesung | 525464 | Do 12:30-14:00 AH VI (2356|051) (×11) Fr 10:30-12:00 AH VI (2356|051) (×13) | |||
| Übung | 523985 | Fr 12:30-14:00 AH VI (2356|051) (×13) | |||
| Software-Qualitätssicherung | Fach-/Modulprüfung | 6 | 531253 | ||
| Statistische Methoden zur Verarbeitung natürlicher Sprache | Fach-/Modulprüfung | 8 | 531402 | ||
| The Logic of Knowledge Bases | Fach-/Modulprüfung | 6 | 528373 | ||
| Theory of Constraint Satisfaction Problems | Fach-/Modulprüfung | 6 | 531216 | ||
| Theory of Distributed and Parallel Systems | Fach-/Modulprüfung | 6 | 528061 | ||
| Wissensrepräsentation | Fach-/Modulprüfung | 6 | 531310 |